Partial evaluation - PDFSEARCH.IO - Document Search Engine

Partial evaluation
Results: 234

#	Item
101	BRICS Basic Research in Computer Science BRICS DS-01-6 B. Grobauer: Topics in Semantics-based Program Manipulation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-24 07:35:52 Logic in computer science Evaluation strategy Incremental computing Partial evaluation Models of computation Denotational semantics Olivier Danvy BRIC Monad Software engineering Computing Programming language theory
102	Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University y () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computer science Logic in computer science Type theory Data types Subroutines Simply typed lambda calculus Normalization property Combinatory logic Type system Lambda calculus Theoretical computer science Software engineering
103	Call for Papers ICFP 2008: International Conference on Functional Programming Victoria, BC, Canada, 22–24 September 2008 Conference Chair James Hook Add to Reading List Source URL: www.icfpconference.org Language: English - Date: 2009-06-10 17:01:39 Functional programming International Conference on Functional Programming Association for Computing Machinery Continuation ICFP Programming Contest SIGPLAN Call for papers XPL Partial evaluation Software engineering Computing Computer programming
104	Practical Partial Evaluation by Rajeev Surati S.B. Massachusetts Institute of TechnologySubmitted to the Department of Electrical Engineering and Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Vector calculus Abstract algebra Vectors Differential operators Partial evaluation Vector space Euclidean vector Del Algebra Mathematics Linear algebra
105	BRICS Basic Research in Computer Science BRICS RS-97-1 Danvy & Goldberg: Partial Evaluation of the Euclidian Algorithm Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Theoretical computer science Recursion Computability theory Subroutines Fixed-point combinator Euclidean algorithm Church encoding Scheme Greatest common divisor Mathematics Applied mathematics Lambda calculus
106	BRICS Basic Research in Computer Science BRICS RSAger et al.: Fast Partial Evaluation of Pattern Matching in Strings Fast Partial Evaluation of Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-05-14 06:11:45 Operations research Pattern matching String matching algorithms Computer performance Memoization Software optimization Backtracking String searching algorithm Pure Computing Software engineering Computer programming
107	Generating Transformers for Deforestation and Supercompilation Robert Gl¨ uck? and Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen Ø, Denmark Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:02 Evaluation strategy Incremental computing Partial evaluation
108	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
109	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
110	Predicting Properties of Specialized Programs PhD Proposal Karoline Malmkjær November 20, 1991 c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Computability theory Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Eval ALGOL 68 Lambda calculus Type system Software engineering Computing Computer programming

UPDATE